paraconsistent logics

[网络] 多值逻辑和超一致性逻辑